Boolean algebra - PDFSEARCH.IO - Document Search Engine

Boolean algebra
Results: 1241

#	Item
211	Boolean Decision Functions Steven Finch April 22, 2015 Let  : {0 1} → {0 1} be the Boolean function that decides whether a given ( + 1)-bit odd integer is square-free. More precisely, ½ Add to Reading List Source URL: www.people.fas.harvard.edu Language: English - Date: 2015-04-21 10:31:24 Integer sequences Algebra Polynomials FO Computational complexity theory Prime number Primality test Square-free integer Irreducible polynomial Mathematics Theoretical computer science Complexity classes
212	LOGIC MODULES INTRODUCTION EXPANSION ACTIVITY Add to Reading List Source URL: s3.amazonaws.com Language: English - Date: 2014-05-06 16:08:52 Theoretical computer science XOR gate OR gate Negated AND gate Boolean algebra AND gate Adder Exclusive or Flip-flop Logic gates Electronic engineering Mathematical logic
213	arXiv:1403.6863v1 [cs.LG] 26 MarOnline Learning of k-CNF Boolean Functions Joel Veness Marcus Hutter Add to Reading List Source URL: arxiv.org Language: English - Date: 2014-03-27 20:30:51 Boolean algebra Machine learning Bayesian statistics Time complexity Supervised learning Bayesian inference Algorithm Boolean function PP Theoretical computer science Applied mathematics Computational complexity theory
214	McGee on Modus Ponens John MacFarlane — Philosophy 142 April 21, 2011 1 Add to Reading List Source URL: johnmacfarlane.net Language: English - Date: 2011-04-21 15:09:47 Logical connectives Rules of inference Modus ponens Boolean algebra Indicative conditional Material conditional Negation Ronald Reagan Inference Logic Propositional calculus Conditionals
215	WINGS COMMERCIAL INTERFACE ( V E R SI O NG ENERAL The Wings Commercial Interface (WCI) is conceived as a COM Automation Server. This implies that it supports dual interfaces, in other words both early and late bin Add to Reading List Source URL: www.wings.be Language: English - Date: 2013-12-03 09:15:53 Computer programming Boolean algebra Boolean data type Q OLE Automation Software engineering Computing Data types
216	SoftCOM8th International Conference Software, Telecommunications and Computer Networks, Split, Croatia Add to Reading List Source URL: research.meolic.com Language: English - Date: 2013-12-04 04:28:48 Model checking Cryptography Boolean function Schedule Mathematics Information Data Boolean algebra Diagrams Binary decision diagram
217	A Characterization of Hard-threshold Boolean Functions Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-10-10 16:17:59 Algebraic topology Inner product space Exponentiation Sheaf Abstract algebra Algebra Mathematics
218	ENGG1015: Homework 2 Dr. Kenneth Wong / Dr. Hayden So Due: 5pm, Nov 3, 2010 Turn in your homework at boxes outside Rm712, CYC Building Question 1 Add to Reading List Source URL: www.eee.hku.hk Language: English - Date: 2010-10-22 02:40:08 Boolean algebra Propositional calculus Functional analysis Algebraic logic Truth table Logic gate Convolution Image Function Mathematics Abstract algebra Mathematical logic
219	Workshop MATH THEIR WAY ® The most enjoyable, practical, influential, and enlightening hands-on workshop you can take to help you teach math for grades K-2! Prices Add to Reading List Source URL: www.center.edu Language: English - Date: 2013-07-02 18:21:35 Education reform Algebra Boolean algebra Propositional calculus National Council of Teachers of Mathematics Logical disjunction XTR IP Abstract algebra Mathematics Mathematics education
220	Chiron : Mechanizing Mathematics in OCaml By Hong Ni, B.Science Add to Reading List Source URL: www.cas.mcmaster.ca Language: English - Date: 2012-05-01 16:42:08 Structure Mathematical logic Formal methods Algebra Boolean algebra Chiron Logic Algorithm Module Mathematics Algebraic structures Theoretical computer science

UPDATE